dfa vs nfa toc